home *** CD-ROM | disk | FTP | other *** search
- Making ASCII file `GAdoc.doc' from `GAdoc.texi'.
- This is a Pre-Release 1.4b of PasTeX (made May 10 1994 [br]/[hes])
- This is TeX, C Version 3.1415
- (GAdoc.texi (TeX:inputs/misc/texinfo.tex
- Loading texinfo package [Version 2.109]: Basics, fonts, page headings, tables,
- indexing, sectioning, toc printing, environments, defuns, cross reference,
- and turning on texinfo input format.) (GAdoc.aux) [1] [2] Chapter 1 Chapter 2
- Chapter 3 Chapter 4 [1] [2] [3] [4] [5] [6] Chapter 5 [7] [8] Chapter 6
- [9] [10] (Index) (GAdoc.cps) [11] (GAdoc.toc) [-1] )
- Output written on GAdoc.dvi (14 pages, 27888 bytes).
- Transcript written on GAdoc.log.
- Make 1.5 Nov 03 1991 18:01:23
- Copyright © 1991 by Ben Eng, All Rights Reserved
- make( all )
- 0;33mmakeinfo --amiga --no-headers -o GAdoc.doc GAdoc.texim
- 0;33mtex:bin/virtex &plain GAdoc.texim
- 0;33mtexindex GAdoc.cpm
- Make done.
-